perm filename STRIPS.DVI[W85,JMC] blob
sn#789560 filedate 1985-03-07 generic text, type T, neo UTF8
{@@__I0βCXα,β2*→+α7].G:]∧βλ≤NεRp_ec≠NF∪λ→∞⊃0⊂∂x␈␈␈xhO|@G(∨xt`1Z␈αBgxFc1Yλ'Ju␈_isth.@↓ ↓ fλ6XOβλ_0Hiλ␈BU&x9≠,⊗`4↑L↔ 4[mi0↓u*Vx3$j5 )∩*¬_IZ-i_9Z.G(0]
⊗x7$l6λ6_nV`:\qhpG'c#2∃xβ!,)PW∞/→0↓u*TP7Z
i_&Xh6λ9≥
@<d?pPU∩5_:_-f07\LI_*[M↔0L→.'_4]∪πHG'b #2∩_π∪↑0}g/πxα@α@↓,⊗h9&
X)U
$H(∀r⊂⊂stE∧04Zs+@qY.90↓9⎇fλ7→∩4p4[∞7_7[R3λ≤Mf∩HIZ.9_0dnε`0[MfH7→r7_<\nF(6dnF@0]∩7(9Y.9_6≠lvH1X-I_3≠n&hL≥%XpRβFd!pp'≠↔_Knr:≠r7⊂2\∞&(9Y-iP\8nI_4[Lfx9≠,↔ 4[mi_0XR∧8∞≠nW IX27_:_.F(↔$ M8∪Q,⊗_L~∩6λ1]
⊗x7$mελ9dl→_yIπoλ∃)@PP00[.FH_L→w9%←wh∪Y26_I[mf 4]
⊗x7*eIλ↓←r6λ7$ 78⊂3l⊗ 2#T_hHCadp6~.7 KWXPUX-f IX2<x2→-F(:→2⊂_∧⊂mFH9]∃2pHAπrh+ZVpIX-i_0XnFH7[R6H9dl6x7≤m⊗ 2\LV ⊗$ -Xs~.I_4\r0`9≤nI_2→.F(9≠-⊗p2Y∩784→.F@2\R6H:≤qjλFd!pp'≤∞&(1[mf 4]
⊗x7%@(0TZ.9_9X.FH9CV ↔$ B`q∃
εH9dl6λ7$l)#GY_2≠mf(IXS+@q↑26λI]
ε(7\LVhI\∞&xL≥Sε(9∩⊂⊂W␈l'(:$mY@<dnVp2→.'_:_-f ⊗cT_hHCadp4[Ly0↓px⊗H9dnF@0]∩7 4→279→,6x7→
↔ 4[mg_IX,7 :X-F`<dnW_2Y∩6λ9→27_4[.ε`2dlVp7],v@I]
ελ:$nv@2]
ε(9$mvp2dm↔_G(1YλπCIg 9≥,Y0↓#Z& 7dλq`2\mb8:$n&(8]-↔⊂2dn7(1≤nFλ7&W∞_:~,⊗`I]
ε(7\LVhI\∞&xL≥M⊗p3KR⊂ ↔fI⊗0I]
ε(I\∞&(1[mf 4]
⊗x7$m↔_7 nI_6Y.B`H@Vh0:~VpG(1YλπCIfλ7≠nF@2\R`⊂j↑L⊗_:~-vpI[3+@q].7 IXR∧8∞→27 9~,V ↔$ D8∀∩,i_:~Y_8≤LV_7[LFH:~-vpIZ.9_6Y.B`H@]ph:~VpI]
ε(7$n6(7&∞F(7_lW_I[mi_:~XpPc2⊂xπ∪LF(6→.F(Kc 06~.7 IX.&(IYV`2]V IYN&x6dnF@2dlFλ:_,&λ9Y26λ7→∩7_2[R@q]Vp1Y.9_7[R7 4→26λ2→∩6`4\nI_0\LY_0YF(2$nFxG(1YλπCIfH:R⊂ S:
5 )∩*¬_H@lp0;fW∞_0\r`_3Bl6x7≤m⊗ 2\LV I]
y_1$λq`2dl⊗pIZ-W9≠sπ0L→-V(7&∞I_7[R6(0\MFH2\R7_<\nF(6\r2@#\LV(7$f∪H≠∞%_pPc2⊂xπ∪NW_4[Ly0↓U*W 4→27_4]∞Vλ:~-vpIXl⊗`1]-G(9K∩6⊂M⊃cF(1X.W_2dnF@2\lY_2X.&`4Y.)_9↑.7 2[.9_9_-i_:≠sεxI\mFxH.≤786≡2∨x∃*EhpTD@Fd$0p'∩.I0αα'8M.≤6λ9dmv0:→-i_9X-⊗ I]
ελ:$j5 )∩*¬_HA⎇ ;f↔_IZNW_:$l→_9\∩∧8∞→,6H0[
↔P0]
⊗x7$mv0I]
ε(I\m↔ :X.FH7[R6_0[¬XpPc2⊂xπ∪L7(6≥.90↓kdW 4_.I_9_-i_3_.7 2\Eiλα←fd@7e7∞_;dlW0IY."`H@xYH4]∪0_WI.y_0\mb8:&Vλ9↑3π 7f∞6(2f
εxI]sπ 7f
VxH⊃cF 2[∪ελL≤o↔_:→-Y@;Z.F@G(1YλπCIf 2[W 2e@:pB≠
↔_:≤r6H7$nF@2dn6H:≥,↔ 4[mi_1X-F_:[∞W_↔$ Wh)∩-i_:~
↔_I\↔H⊃cF(9$nyP\8lY_8≤LW_2[Sπ IX27_4]∞Vλ:~-vpIXl⊗`1]-G(9cT_hHCadp3≠n&h0[
↔P0]
⊗x7%@8_
≠li_0dniP\8lW⊂9Z-vpI[li_)U
$H(∀ei_+ZW 4→.)_4]∩6H9dnF@2dlg(6≠∩5_*∀I∃)d 8_∧~.6p∪]∩6(7&∞FH9→-GHG(1YλπCIf_6→,↔⊂↔$ Gλc∃
ε(KjU(9→,⊗ 2\R784[
I_7≠nFH1Y27 4_.I_0dmFλ9→lY_0[-w(7$↔∞_:$mv0I\LVHε_l↔ 4[mi_4\r6 7[LRpG)QYλ⊃CIe8H␈e*P2f`A`≡~→(\8ni_2f∞6H:≥,↔ 4[mg_L→Vp7]V L_R7HL3n9λα;KjX9[mV(:~-V(9f∞vH:~∪π_:XN6_9~.π 9KR⊂0c≡JF@2f
⊗p4]
⊗λ6&∞6H:1jλFd!pp'≥,↔ 4[mi0αλεVH9dmv0:→-i_1X-F`2Y∩<x9L∩⊂λ-A52pHAZ&8+d?rPU→26λ6≤my_4_2[@q]R6(K↓∧β(8≤MwH⊃cFx9Z.FH7[R70H␈n≤80\M⊗λ1≠W_Isn λα09jX0[LI_g\2⊂(↓,U7_7[,W 4[,W_G(1YλπCIg84]
0↓g*π_:XN6_9~.π 9KR⊂($mH↔_9[s$8∞_m⊗λ:→,I_;Z.F@IY,⊗_H.≤6@I\m↔ :X.FH7[R6H9dl→_2_.Fλ1_.6(I[li_8≤MwL≠n6H:~-vp9K∩⊂_WSL⊗p2#T_hHCadp:~
↔_Kq⊂h3Z.i\8lW_I].9_:~Y_;Br<x2_R`Pf52@g\∩?_ββUD`M↓ ↓ fλ6[-∪λ_,'9λjUx9f`
⊂⊃*e→0↓b!Vλ9\lW⊂:~-f8I]
ελ:$ywHA¬*0UZ.9_4[R7 4→26 0]⊗⊂0\lY_0\n6xH⊃cF_4X.F(2$nvH:~∩<x9f∃2pG(1YλπCIe8H␈e*P2e@D`←_,7 4[mi_;$?wλcX.&H0XMF(9dyvλH@_F⊂UK∪0 E%n #G
w_9Z,&`<dn7(1≤l7⊂4\∞F(2∪ελ7→∩6@0e7∞_;$lY0α∪↔g 4→260:[L7 4[mi_g\R∨x>IlW_:[∞Iλ>'jX⊗&∞v@2\LXpPc2⊂xπ∪Yw_Fd
⊂⊃'␈Ex|a⎇∂Zh⊂β@β@αX-W_<Mw#G$ fpGjgYλ↓1cx9$?wh∪Y.7(6≥∩⊂|OU2@gX2⊂b_V∪XH@5*@g\r⊂iλU2HKYMP4\r7 4→27_4]∞Vλ:~-vpI]
ελ:$n&(9]-G 9dnv@2[R6λ1]
⊗x7$yvλH@r∪`UZ.9_8$λq`2\Lfx9≠,V IZ-i_9Z.G(0]
⊗x7#T_hHCadpg\r⊂iλU2pG)QYλ⊃CIe_*∀I∃)e@5(*Z.9_1fW∞_4_.&λ1]W⊂4↑LV IXSπHI]
π⊂2Y279→,FH1X.F(9KQj0Fd$0p'3nπ⊂K?oR82dl9_7[LFH:~-vpK_F⊂UJ→vλIl'9λjUx9d
⊂⊃*e→0↓U*VH9dnG⊂:Y279≠r@q]M⊗ 2Y∩6λ1]
⊗x7$yvλHAβ≠8UXl⊗pIXS$8∞→27L→.&07\MV(2$m⊗pI\m↔ :X.FH7[R<x9d
⊂⊃*ehpS#2∩_π∪Yv 2[W 2d?wh∪Y∩⊂λ∧"∃2@g\∩⊂Pf6∪XK5*@gX2⊂b_V∪XIsn9λ4D*X∀e@?PDZ.9_:≤NV(IZ,i_8≤MwM⊃cFx9Z.FH7[R<x8$ I`⊃*m↔_I]
y_1&Y_2→-F(:→,I_;ZVpIX,7 4[mi_gX2⊂ ←:u6H9dn @2\EXpPc2⊂xπ∪Lfx9≠,V KjU(4[R7_4]∞Vλ:~-vpIsn9λ4D*X↔#ThhHHadpgX,F H@!λ@UJ→wH@∀→HXNr`λU*→vλH@_F⊂XNr<x9d
⊂⊃*e→0↓Z$6H9dnG⊂:Y26H3$nπ⊂7\∪$8∞≠n6H:~-vpIsn λααWJX4\r7 7dl)@2dl⊗ 2→,I_;ZVpIX,7 4[mi_gX2⊂ ⊗a56H9dn @2\Lfx9≠,V G(1YλπCIfH7%@5(*\m↔ :X.FH7[R<x9d
⊂⊃*ehpS#2∩_π∪J5 )∩*¬_KjU(4_.9_:~Y_9Z-f86→26λ<~-vhG)βoλcc1Yx| λhFc2⊃\=↑0`T4vλpα@α@↓L⊗h9↑&∪[N→wH@IDλ0d &x¬≤s0iλV∪PgY)0(3~X∀3n _XNr`λU*→w⊂H␈oR82\nV`:$ ∂H∨*ex0d 1,'9_g\s
X∀J1hpG'ap#1XhHDpp[D2⊂⊂cF→vH3$ <H≡-g,x8≤Rox>IlY_1dmvp2~.FH7[R`b_U2@gX2;λ≥e@~PT3n9X4D*X∀dyw 4→-iλ↓≠a& 1%@
λLjex8$v∪XH@5*@g\s
X∀slV`9Y2⊂⊂≥WLF⊂Ijex8$v∪XH@5*@g\s
X∀e@#@p-ki_≥3lF(6→.F(H␈oR82$ ⊂@D*ex8$
λLl'90jUx0d 1,'9_g\s
X∀e@#@p-ky_gX,F H@!λ@UJ→wH@∀→HXNr`λU*→vλH@_F⊂XNr<x9f∃2HXNQhpG#QjλFd!pp'*jyλ␈JU&(Ka∨h7≠s+@q]r684]Sε(IX-i_2↑⊗h8≠Y_7YR7 4~.9_:\lY_7YR5_*∀I∃)d 0HtZ-i_:~Y_1≠
y#G9@5\r78L≠n&`2R⊂ ,*)w(9$m⊗p2~.fH2≥,⊗`G'a@#2⊂xπ∪Niλ␈\8vλ9~,⊗⊂6→.90↓3↓|x<$ ⊃_G*eIλ↓9pLx<d :pF*l⊗p2$ywPHAkHU\L⊗p3Y26xJn≤70IY.)X↓3↓v⊂6≠r∧8∞_r6X9KR⊂ "↓
F@2f6x7≤nFλ7$nI@1≠
y#G9_5\sπ(9Y,I@4[Sπ 4→3ε(<_-W6→3ελ9→1hpOFFd@λ≥Ff_pF"`@
QYxyλpP?}H@c4∂p¬¬OxhHCadpgX2⊂b_U2`KxkpgXR⊂Pf52`Isl9X$⊗jX⊗$yv HA↔ 8UX-f KvxgU∩∨x≥nl⊗⊂6→3
X↔$ XλzU
ε(I[mf(IZm⊗p2$mv0I\∞&x8&Hq`7\m↔ 4[mi_4\r<x7[R⊂b_U2@g↑∩⊂λ cV∪XH@5*@g↑2⊂q∨52HIX.7_2\NFH7→r7 4_.I_1≠
y@1d↔∞_5cT@`⊃YλπCIlx<$ M`A*m↔_Ky∂ 7[R6⊂6≠r∧8∞_r@qZr<x<f`∞⊂>jeiλαs∀E 4→26x7→26X4[LI_7YR6λ1]
⊗x7$m↔_IsmVx;→2⊂H-U2@g↑∩⊂λ cV∪XH@5*@g↑3
X∀dlF(7≠nFH7→r7 4→26λ1]∩6x3$mVxH.≤704[LxpPc2⊂xπ∪L&`7fHq`1d↔∞_5e@5(*so λα~≤:X7[R7 7\∩6x3$l&`7f9\8m9_g↑2⊂q∨52pHA∞≤0+d?rPU→26λ9\nVh2dnF@2dl&`7f9P\8m7_IX.&(IX-F`IY
⊂X2\LVpL≥¬I_4KLRpG)β#2⊂xπ∪YvλKq7P[MU3hM@Xq@gXR⊂Pf6upgX2;8≠*gY@gXr⊂H-VupgX2;8≠*gY@gY∩⊂λ∧"⊗upgX2;8≠*gY@gU∩∨x≥nl⊗⊂6→2`H-VupgXR⊂_4,6s0UO3x1dvupgXR`_4,6s0UO3x2$ ⊂@D-klx1$vs0UO3x*$?sX]X,&`2d [-klx1e@58g-fjX≡f→v H@!λ@[WYv_ImfjX≡f→u K?g;X0XMF(H@∩0[WYv H@yz[MU3hL3jI_0XMF(H@∩0XNQix∂λhHHadpUUr∨x∃*LY0↓U*W84[
I_1$λq`2dm⊗pM.≤7 2\LW_:→,I_4[R6λ7$m⊗p4]
⊗λ6$n6H:≥,↔ 4[mi_g\f λα,*X1f
ελ9_,7 2\M↔P2Y∩6⊂L≡1jλFd!pp'-gx<$ +p≠≡2`q∨6∪PgY)λ(3~X∀3mvpH@_F⊂UJ→w@H@"8pXNs0λU*→wHIje≠λ≥f→w__$ ∃Xαje→0↓1c8λdu2@g↑∪0_m)U3hIsl→λ1+8/3o→λ↓j2ZX≡dyv⊂H@∀→HUJ6uxUJ→w@L*gY_gXR⊂Pf6upg↑2⊂_Te53hIsl9λ$⊗jX∀mkzX∀3o @UO2<x1f` [-klx<d :HJjgY_gU∩∨x≥nl⊗⊂6→3
X∀mkzX∀3o λ↓vTjX≡dyv H@!λ@[WYwHH@u→(UO2<x*$?sX]X,&`2f∃2HXNQjλFd!pp'*if(<≥∩`_*U.yP\8lY_1f
ελ9_,7 2\M↔P2dnF@2dnπ⊂2Y
⊗_0]W_Isnπ⊂K?oR82dl9_7[LFH:~-vpH@_F⊂UK∩`_*U9v 2[W 2d >0¬jl⊗p2$yvλ2→∩⊂λ∧"∃2pHA∞≤0+d?rPU→26@0f∞i@2cSqpxqqXhO}⊂Fc1Yλ+→{8≤3o λ↓/FgHH@QR(9f`
⊂⊃,',x8≤Rox>IlY_1dmvp2~.FH7[R⊂b_U2@g[-w02d [*ex<$ ⊃_G,'90jUx<d ∞⊂>je≠λ≥dyw_L*e_pG#Spx⊃XhFd#↔_smb→0↓1cx<&`=PS-fjX≡dyu H␈g;X0XMF(H@Y→0[WR⊂⊂≤8→w@L-fjX≡dywHH@c5h[WS0⊂≤8πx=%@∪PU,'+8≥3lF⊂H@∀→HUJ→vx7$ 1*ex=$v∪XK5*@g↑∩⊂λ cU2HXNr<x9d
⊂⊃*e→@[WS
X∀3o→λ↓j2[8≠*gY0↓1cx*$?sX]X,&`2d 58g-c9_≤3o)0NU+λ≥-g,x2_R⊂Pf52@g[miλ1*X∀3o)_XNr`λU*→wHH@≤'hUJ6∪XIsn9λ4D*X∀J6∪XG#QhpG'cx#2∀`≤f⊗s@g↑∩⊂⊂←
O→λ↓#$W_H@~"⊂XNYv 2[W 2d?wh∪Y∩⊂λ∧"∃2@g[miλ1*X∀3nyXDqkλ≥e@~PT3o)λNU*X∀l'9_g[-w02d [*ex<&⊗∪XIso→λ8OZX∀l'9_g\r⊂iλU2HKXq@[D2<x;d =PS*gY_g↑∩⊂_&≠VupH@G∞g↑R⊂ pVs0UO2<x<cSq_⊃YλπCIjX0[LHpRβFd*≥h∩mgx<$ +p≠≡2⊂⊂FI.9λ4D+λ≥3l⊗ 2$ ⊂@D*ex7[R⊂b_U2@g]s0λ cV∪XK5*@g↑R⊂λ≥*U2HXNr<x6[nf(H@∩0UJ→w@L,'9_g↑30q∨52HXNr<x9d
⊂⊃*e→0↓1c8λdyw8H@{*0UO2<x<$ 4`7-kiλ↓∞≤x=$ @λa*gY_g↑3λ≥#SqH⊃Yλ⊃CIjX#$?rPU≤MvhKjU(:~W_2dl↔@4[mW_IX-f I]
ε(IZ-fH:~,⊗`IXmvp2~.FH7[N9_3Z.iP\8lVpIX,)#G
y@;&Y_;fY_1X-i_8≤My@;&XpOTN≤8Fc3| ⊃XhHHpnX[N→w@H@Wc0<d ∞⊂>l',x2_R⊂Pf52@G#2∀8⊗09vx7$ 1*ex<$ ⊃_G,'90jUx<d ∞⊂>je≠λ≥dyw⊂H␈oR82\nV`:$ ∂H∨*eλpFd@λX⊂s→vh7]LYλ$⊗jX∀3l→λ1+λ≥d ~PT3l)λ(3~X∀l'8pG(1XhI⊃2λf3n)λ␈←$v(9]-G H@∨∪pUJ⊃hhI∀xλ6smVx;→2`H-U2@gXR⊂Pf6∪XH@5*@gXr:X∀l'8pG(1XhI∀xλ6sn)λ␈←$v(9]-G H@∨∪pUJ⊃hhI_>λπ3mVx;→2`H-U2@gXr;λ≥d ~PT3lIλB⊃
X∀l'8pG(1XhI_>λπ3n)λ␈←$v(9]-G H@∨∪pUJ⊃hhI≤∧WsmVx;→2`H-U2@gXR⊂Pf6∪XH@5*@gU∩∨x≥nl⊗⊂6→2:X∀l'8pG(1XhI≤∧Wsn)λ␈←$v(9]-G H@∨∪pUJ→vh7]LY0$⊗jX∀3l→λ1+λ≥f`~PT3jIλ␈Nw6λ1≠Y_UJ6∪XL3n3H@+0(UJ%∩H∀J%_pG(1XhHQeLλ[D2`⊂cF∃2@g↑∩⊂_m)U3hIsl→λ↓?(+8/&`#@p3o→λ↓j2ZX≡dyv⊂H@∀→HUJ38/f∃2@g↑∩⊂_m)U3hIsl)λ↓6O≠8/&→wHH@u→(UO2<x1d [*e→@[Ws
X∀3o λ↓vTjX≡dyv_H@Y→0[WSx<d :HJjgY_gY∩⊂λ∧"∃2HL-ky@UJ→w@H@{*0UO2<x2$ 4λ4-ki@g↑2⊂_Te53hIsjIλ␈Nw6λ1≠Yλ$⊗jX∀l'(pG#Qix∂λhHHadpUTLVh0\M7_≥#U⊃⊂⊃Yλ⊃CIcλ↔$ DPpR-i0↓8∀Vx9→W⊂I]
y_4_-f 6→26 2[W 4[Ly_;d↔∞_2dmVλ2→27 4→26 0]⊗⊂0\lY_2↑∞ε`4Xm↔ IX-f I\LVHε→,I_8≤MwH⊃cFx⊗cT_hHCadp9Z.FH7[N2pHA∞≤0*~
↔_M@jU(0[
FxJn≤78IY,I@:\sπ 7f∞↔(0[R7 4YO→@7dni_2\Sπ9≠n #G
w_4]
⊗x7≤ehpS#2∩_π∪F"pHA t8)Z-f_2e@.hl≥
ε(I\∞&(1[mf 4]
⊗x7$nyP\8l↔_IY/π9→.7_4XMF(IXmvpL≥Sε(7~,VpL≥
GHIZ-i_:→.&h9dmv0I]
ε(I\∞&(9Y-f_2cT_hHCadp7YR`_ +n6(7&W∞_:→-f_2\r6H7$nF@2dlFλ:_,&λ9Y%Iλ↓Q~↔8L→26 4Y
b8:$n&(8]-↔⊂2dl→_6≠lvH1dmv0I\∞&x8$λq`7\m↔ 4[mg_↔$ FPr∀nV_L~∩6λI[
v84XqjλFd!pp'_l⊗pKjU(1$λq`2dlvH;&W∞_2[R6⊂L≡26H7&∞G⊂7dλq`2≥,6H7→r6λ7$l⊗ 2~.FH7[L⊗`I\∞&(2~,6λ:→2<x4≠mF 9e@
⊂⊃*ex8$
λLl'9λjUx9du2HKjU(0[LI_:~Y_0↑
⊗x6cTA@⊃Y⊂%3ixgY)0(3~X∀3n _XNr⊂λU*→w_M@~"⊂UJ2`⊂cF⊗qXIsmεx6→∞9@UJ→wH@∀→HXNr⊂λU*→w_L*e_pPc2⊂xπ∪NFx3Y.F@2\R`_*U.vH:~∩6λ<~-vh9dmFH5d↔∞_2cT_hHYH⎇ gZ
v`2≤r`iλU2@g\∩⊂⊂&⊂,⊗p2$ +__≤2⊂q∨6∪XM@5*@g\r:X∀e@,8-b→_gZ
v`2≤r`iλU2@g\∩⊂Pf6∪XL3n9_UJ2`⊂≤8⊗upIsmεx6→∞904D*X∀3n→λ8O[λ≥f→w_Ije_pG'c#2 `Nc3⊂G#⊃00βYXhO|@G(∨xt`1Z␈αBgxFd!pp'*l⊗p2#T@`⊃Y⊂ J$@gZ
v`2≤r`iλU2@g[Mw H@T>08&`
λLl'9λjUx9du2HKXq@[D23PgZ
v`2≤r`iλU2@g\∪λ≥d ~PT3n9_UJ6∪PG'c⊂#2∩_π∪U58H␈e*P2e@M.Xl⊗pI]
ε(7$lW@8≤LW_9dnπ⊂2Xmvp2~.FH7[N9_4[R7 2\MW_I[li_;Z↔ IZ
v`2≤r6λ7→∩6p7]∩6h2\LV`<cT_hHCadp;Z↔ K↓∪W⊂4\r6H7$nF@2dlFλ:_,&λ9Y%iλ∧∩CD@7e7∞_;dlW0IY."`HA≥wHgZ
v`2≤r`iλU2@g\∩⊂Pf6∪XH@5*@g\r:X∀e@Ih9≥m⊗`6$mvp6≡26⊂M⊃cF(I]R@qY.'HI\∪εxJn≤78IY.&0:[∩` N\M⊗0I]
ε(G(1YλπCIg9≠n #G
w_4]
⊗x7≤r` ≤6λ7$l6x7&W∞_:_-⊗pI\.Vλ7&∞FHε→.'_↔$ k(∃
εH9dn&λ4\lW_I\mvh2dlFHπ_nV`:~,W_I]mεH1f
_;fY_2≠mb8:#T_hHCadp;e7∞_0[R7 K␈Q8:≠r7 9→,↔ IZ-i_:~
↔_I[Mw 2dl'(:$nv@4Xs+@qZ∩6λ9→26 4\l7(9\lV IZ-i_∀∪,4_0\NF@L≡23λ≤Mg∩H↔$ fHεRlV(8~-f8G(1YλπCIlx4≠mF 9e@
⊂⊃*ex8&`
λLl'9λjUx9du2HK{~X1[mf_2\∞G(0[
GHI\lW0\L↔ 2dlg⊂7[2<x2_S
X∀3n @XNr⊂λU*→w_H@~"⊂UJ26h2X-g_I]
ελ:$nv@0]∩6@7[G_IZ.9_:\∩∧8∞→↔ 2Y⊃jλFd!pp'→,⊗_M.≤6@KjU(:~-V(I]
ε(I\m↔ :X.FH7[R6_L~⊗p3Y.2pG*" #2∩_π∪F2pHA>Z@*~Y0↓uTε 0]⊗⊂0\lY_4[R7 4→26⊂6≠r∧8∞_s+@qZn9_;f
w⊂6→∩6(<_-W6→26_7[N6H9]∞9_7YR6H7→WH⊃cF(7→VpL≥∩6λ:≠mVH1cT_hHCadp1[mg_:_-i\8nI0α↔ 79≠n P#G
w_4]
⊗x7≤eiλβb~¬ 4→.6(IXl⊗pIXSε(IX,F 2Y∩6λ7→∩6 2[W 2Y∩6H7→WL→-f 2[R@q]
GHK?e*P↔$ x@h⊃R6x9$ Eh↓]
εH9cT_hHCadp9→,↔_7[R`_Y≤∞F@2\LY_4\r6p7dlFHπ_nV`:$↔∞_<dm⊗pIYW 2\MVH7~-f8I]mελ:$n&(6X-⊗p9dnG⊂:Y2784→-i_0dnπ⊂7\∩∧8∞≠n6H:~-vpG(1YλπCIfH9e@5(*YV`2]V IJ
w⊂I\L↔ 4→.)_;Z↔ I\∞&x8$λq`7\m↔ 4[mg_IX.&(I]∞'(2dm⊗pIsn)λ␈←$v(9]-G H@∨∪pUJ→vλH@_F⊂XNr⊂λU*→w_H@~"⊂UJ%∩pG)QYλ⊃CIc ↔$ DxM∪M⊗`9\mvpK]mλ8$λq`7Z-iP\8nG_I[nW IJ6x7&∞i@2\N6λ:~-vpIL'∪@~dhiλ␈JU&(1≤NVλ9≡23 ∀dnF@0]∩78L→26h4Ym @:$ny@0[Sπ I[-w⊂2cT_hHCadp1[mW6→/ 0↓;1g9≠n P#G
w_4]
⊗x7≤r7 7dn @2\N6H9]∩7⊂0]
ε(9$nF@0[R6⊂L→27⊂2Xmvh8≥.F(2R⊂ 'KHiλ␈JU&x9$lW@0[.ε`2K∩⊂_↓∀∞yP\8lY_6Z,v@L≥⊃jλFd!pp'~→(\8ni_2e@5(*sl6`2d?wh∪X.)λ<[
X∀3o λDqjX∀dlF(ε≠LV IXR@q↑1j λhH[∨T [N→w@H@Wc09e@
⊂⊃,',x2_S0Pf52@gXmF(H␈oR80\R⊂⊂N`∂ λDqkλ≥d ~PT3n9_UJ2`⊂cF⊗qλIN→wHK≤'hXNVsPgY)@UJ→vx7$ 1*ex<dv∪XK5*@g↑∩⊂λ cU2HXNr<x9d
⊂⊃*e_pPc2⊂xπ∪L⊗p2%@58]mε(7$yvh7]LYλ$⊗jX∀3nyλDqkλ≥d ~PT3o)λNU*X∀dmy#G6_:\N9_;Z.F@Isnyλ↓w-{8≠*gYX↓2<≤x<$ FPGjl⊗p2$ywPHAHX[MU3hL3o λDqjX⊗$ 586≥s+@qY278L≠nV`2$mFH5fY_:≠r6λL≥Sεx4Y∩7⊂2Xmvh⊗cT@`⊃YλπCIg:]
⊗p3e@5(*sl6`2d?wh∪X.)λ↓'0π@H@"8pUKR⊂ 8qIv⊂H.≤704[nW_6≡27 4~.9_1X-i_1$λq`2dlFx7→%hpS#2∩_π∪FRpMAλ9 *~
↔_KY+p3≠n&hH.≤7(6_.FH7[R6 7dλq`2\r6p7dmfx7-Vx7≠nFx7~,9_9→,↔_7[M⊗p3KS¬ 4→27(9Y26x3$vqλIjlVp0XMF(9dnW_G(1YλπCIg 7e@7⊂TXmvh8≠W 2[∂→_1fW∞_4_.&λ1]W⊂4↑LY_:~Y_9Y.I_7YR6⊂6≠r∧8∞_sεX9dm⊗pIsn3HA→ZpUX-f I]
y_8≤LW_2\Ni@2dl6x6\
F(:→26X7≠sπ861jλFd!pp'→,F82e@5p↓X,)P#G
w(:$nF@2dn6H:≥,↔ 4[mi_9→.7(6≥
⊗p3dlg⊂7[26h7d↔∞_;~-f8IXMFxL_r@qZn2pHA⊃=*~Y_9≠mF(I[li_7≠mbh6[mfx:≠mfH1cT_hHCadp9→,↔_7[M⊗p3e@%(≡Z-i_:~W_2dn6H6\
F(I\m↔ :X.FH7[N9_7→,V 9dnFxIXR∧8∞→27_:≥,FH2Y¬iλαπ
∀_7[.ελ9→22@&Xh6λ9≥
\8o→__N'β ∀KQj0Fd$0p'
Eiλβ")d⊂2Xl↔(9Y2` βv∞F@4\r607\MVλ6~.6hI\LVHε→.9_8≤MwM⊃cFx9Z.FH7[N2`HAεG@:~W⊂2dmf(2Y∩6p7]∩6⊂L→26λ7$m⊗ 2[R[@q]
↔ I↑1jλFd!pp'_S$8∞→.I(\8ny_2Y-i0αiε`7Ym⊗_0[∩6_7[N6H9]Vp1↑26λ7→∩6_7[N6H9]Vp1↑26x3$nF@2dnπ⊂7\∪εx9Z.FH7[N9_4[R7 4→-↔⊂IZ-i\8nF(7→V G(1YλπCIfh2X-fH7→eiλα∪;T0H␈e*P7\S0⊂tfW@0[.ε`2K∩⊂⊂␈I9v@7[G_K~"⊂UJ→wH@∀→HXNr⊂λU*→w_Ije→@0[LI@gZ
v`2≤r:X∀3mfx:$ *_s≤∩⊂Pf6∪XH@5*@g\r:X∀f↔⊂2f6x7≤m↔_:→-i(\8nI@:[MF(9\sπ8IY3ε@0dni_2cT_hHCadp0[R` ↓X,↔@4[mY_3≠n&⊂4YFH7→r6H:∩⊂ ↔9Rp3KR⊂0=zVs@g\∩⊂⊂&⊂.904D+λ≥3mεx6→∞9_UJ→wM@∀→HXNr⊂λU*→w_Ije→0↓z%;8λdg,x4≠mF 9e@
⊂⊃*ex7≠nIλ↓(|gL,'9λjUx9du2H↔$ gXu∃
εH9e@@_0X/εH7[26h0d↔∞_<cT_hHCadp1$λq`2e@1 ~\nG⊂7[Lv(9$nF@0[R78M.≤6(I]sελ7&∞B`H@d∪`1$λq`2Xl↔(9Y26H:$mVλL≡26⊂H⊃cF(IXmvpL≥Sε(7~,VpL≥∩7 7dnW_2dl⊗pIZ-i@:→.'9→.Fλ:~-vpI[lhpPc2⊂xπ∪Yv@7[G_HA∧w8UZ-i0↓U*W84~,9\8m _7→-↔ 4→.)_gZ
v`2≤r`iλU2@g\∪0Pf6∪XH@5*@g\r:X∀e@5(*[Mw⊂Ismεx6→∞904D*X∀3mfx:$ *_s≤∪λ≥d ~PT3n9_UJ2`_*U-↔_I]∞'(2KQj0Fd$0p'
eiλβndλ9e@F`p∃MFλ2~-VH9$iFH3≤l9P\8mεH:≡R2@_N'β(IZ-f07\MVλ6$mV(6[e→_4_.9_8$λq`7Z-i@:→,I_7].B`HA⊗,⊂0dny@7\M6H7→qjλFd!pp'∀jE⊂$T
9λα∃#7_<\nF(6e@E(.[,→\8o→_1&Hq`2dyw(7≤nFλ1≠Y_U]m↔ 4$n&(3X.& I]
y_0YFH7→r7 9≥,Y_8≤MwL≠n6H:~-vp9dnFxI]
ε(G(1YλπCIf 0]⊗⊂0\lR`H@e∧(1&Hq`2Xl↔(9Y2`_∞@.Vp6→.7_I]
ε(I\∞&x8&
w_4]
⊗x7$m↔_IYV`2]V I]mε(7$m↔ 9dnG⊂:]
_;$?wλcX-G(2dl9\8mελ7→lW_⊗$ 2@"Z.HpPc2⊂xπ∪L6λ7%@8λ[Vλ2$nFxIZ-f_7[N6H9]Vp1↑2784→-i_0[R6λ1]
⊗x7$m↔_I\∩∧8∞→.&07\MV(2R⊂ z2*F@4\r6H7≤nFλ1~-FH:$↔∞_<dm↔_IX26 2YLV_:#T_hHCadp7YR`_π↓*5 )∩*¬_H@a←_0[LI_7]
ε(9$n7H9]Vh9dm⊗pI]mεH1d↔∞_4$nWM⊃cF 0]
⊗p3dm↔_I\∪ε(9→Mw⊂6Y,I_1$↔∞_<dmw 4→.)_6Y,⊗p9dnF@0[QjλFd!pp'→V :XnFH7[EhpS#2∩_π∪GαpHAm⊃λ \r` )≠MFx7→r6λ9dmY(\8nV_IZ∩` )≠Mv0I]
ε(IZmfxH.≤786→,F82dm↔_IY-f_7fHq`2→,I_4[R7 4→27(8&Fλ:~-f8I\NV`2\eIλα$6G 4→1jλFd!pp'~-f07\MVλ:~-vpKjU(2[L6xH⊃cF 2Y∩6H7$n6(7&W∞_:→-f_2\r6h0f∂→_1$λq`2dmVH7~-Vλ6QhpOFFd@λ≥Ff8pF"`↓
↑QYxyλpP?}H@c4∂p¬¬OxhHHadpUN%iλ∧∨ $h0[R@q↑2` W
v0I]
ε(IXmvp9Z,F(9_.FH7[N9_2~.6_:\n6(2$mε(9→26_7[L6(9≠M⊗p3dj5 )∩*¬_HA∃]_0\∞ε`<dnFxG'a@#2⊂xπ∪Mw 4→.)0↓U*W_2[-∩h6≠lvH1X-I_3≠n&h0[
↔_6\eI_2KLrpHA∞≤0"S+∀_$SR6λ7→∩4λ)$?rPU∃¬hpG'c#2 `Nc3 G#∨
6⊂λAdX↓`≥@↓⊗⊂z0⊂λ<→|pβ@O_∩∂↑∩PS↓ ↓ fλ6]
∪λ_<bz8OS+P¬¬β_-V⊂<&∂_πtβvX @ppVλ6\o∪8yC∃
_X#@PP00[.7H_L≡00π+ IPα@α@↓L⊗h6Z&∪y@∨Yh<∨`PP(0[.#λ_> ∃'@-xow{⎇x